node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
link(1,2) :- #0.081.
link(2,1) :- #0.619.
link(1,12) :- #0.58.
link(12,1) :- #0.916.
link(1,13) :- #0.629.
link(13,1) :- #0.415.
link(1,16) :- #0.595.
link(16,1) :- #0.982.
link(1,19) :- #0.296.
link(19,1) :- #0.355.
link(1,30) :- #0.271.
link(30,1) :- #0.695.
link(1,42) :- #0.208.
link(42,1) :- #0.845.
link(1,46) :- #0.519.
link(46,1) :- #0.593.
link(1,62) :- #0.324.
link(62,1) :- #0.972.
link(1,64) :- #0.529.
link(64,1) :- #0.345.
link(1,67) :- #0.678.
link(67,1) :- #0.352.
link(1,70) :- #0.291.
link(70,1) :- #0.731.
link(1,73) :- #0.849.
link(73,1) :- #0.953.
link(1,76) :- #0.01.
link(76,1) :- #0.802.
link(1,79) :- #0.912.
link(79,1) :- #0.384.
link(1,82) :- #0.188.
link(82,1) :- #0.349.
link(1,88) :- #0.272.
link(88,1) :- #0.907.
link(1,89) :- #0.625.
link(89,1) :- #0.086.
link(1,108) :- #0.033.
link(108,1) :- #0.741.
link(1,135) :- #0.863.
link(135,1) :- #0.637.
link(2,19) :- #0.515.
link(19,2) :- #0.622.
link(2,22) :- #0.063.
link(22,2) :- #0.378.
link(2,24) :- #0.295.
link(24,2) :- #0.725.
link(2,35) :- #0.089.
link(35,2) :- #0.93.
link(2,37) :- #0.68.
link(37,2) :- #0.985.
link(2,45) :- #0.783.
link(45,2) :- #0.021.
link(2,67) :- #0.878.
link(67,2) :- #0.83.
link(2,70) :- #0.363.
link(70,2) :- #0.102.
link(2,73) :- #0.645.
link(73,2) :- #0.708.
link(2,74) :- #0.234.
link(74,2) :- #0.378.
link(2,76) :- #0.821.
link(76,2) :- #0.712.
link(2,80) :- #0.836.
link(80,2) :- #0.485.
link(2,96) :- #0.703.
link(96,2) :- #0.591.
link(2,109) :- #0.757.
link(109,2) :- #0.211.
link(2,110) :- #0.434.
link(110,2) :- #0.413.
link(2,117) :- #0.886.
link(117,2) :- #0.22.
link(2,124) :- #0.783.
link(124,2) :- #0.028.
link(2,127) :- #0.899.
link(127,2) :- #0.476.
link(2,129) :- #0.513.
link(129,2) :- #0.876.
link(2,135) :- #0.665.
link(135,2) :- #0.812.
link(2,136) :- #0.606.
link(136,2) :- #0.768.
link(2,138) :- #0.846.
link(138,2) :- #0.208.
link(3,23) :- #0.629.
link(23,3) :- #0.573.
link(3,59) :- #0.124.
link(59,3) :- #0.602.
link(3,63) :- #0.403.
link(63,3) :- #0.535.
link(3,76) :- #0.313.
link(76,3) :- #0.483.
link(3,81) :- #0.519.
link(81,3) :- #0.679.
link(3,85) :- #0.327.
link(85,3) :- #0.779.
link(3,94) :- #0.421.
link(94,3) :- #0.957.
link(3,120) :- #0.495.
link(120,3) :- #0.257.
link(4,39) :- #0.408.
link(39,4) :- #0.589.
link(4,86) :- #0.381.
link(86,4) :- #0.577.
link(4,89) :- #0.535.
link(89,4) :- #0.408.
link(4,105) :- #0.622.
link(105,4) :- #0.283.
link(4,118) :- #0.65.
link(118,4) :- #0.752.
link(4,119) :- #0.908.
link(119,4) :- #0.271.
link(4,127) :- #0.733.
link(127,4) :- #0.777.
link(5,14) :- #0.249.
link(14,5) :- #0.187.
link(5,31) :- #0.657.
link(31,5) :- #0.711.
link(5,58) :- #0.803.
link(58,5) :- #0.645.
link(5,63) :- #0.072.
link(63,5) :- #0.887.
link(5,67) :- #0.673.
link(67,5) :- #0.206.
link(5,79) :- #0.507.
link(79,5) :- #0.97.
link(5,82) :- #0.974.
link(82,5) :- #0.683.
link(5,97) :- #0.031.
link(97,5) :- #0.283.
link(5,108) :- #0.749.
link(108,5) :- #0.079.
link(5,119) :- #0.982.
link(119,5) :- #0.81.
link(5,122) :- #0.846.
link(122,5) :- #0.315.
link(5,133) :- #0.817.
link(133,5) :- #0.355.
link(5,136) :- #0.955.
link(136,5) :- #0.054.
link(5,137) :- #0.036.
link(137,5) :- #0.46.
link(6,21) :- #0.689.
link(21,6) :- #0.204.
link(6,25) :- #0.276.
link(25,6) :- #0.331.
link(6,34) :- #0.761.
link(34,6) :- #0.006.
link(6,40) :- #0.841.
link(40,6) :- #0.083.
link(6,64) :- #0.259.
link(64,6) :- #0.713.
link(6,83) :- #0.569.
link(83,6) :- #0.478.
link(6,84) :- #0.244.
link(84,6) :- #0.214.
link(6,85) :- #0.661.
link(85,6) :- #0.891.
link(6,86) :- #0.785.
link(86,6) :- #0.395.
link(6,113) :- #0.636.
link(113,6) :- #0.991.
link(6,123) :- #0.4.
link(123,6) :- #0.435.
link(6,124) :- #0.745.
link(124,6) :- #0.325.
link(6,132) :- #0.095.
link(132,6) :- #0.571.
link(6,133) :- #0.796.
link(133,6) :- #0.418.
link(6,139) :- #0.796.
link(139,6) :- #0.536.
link(6,140) :- #0.318.
link(140,6) :- #0.647.
link(7,10) :- #0.554.
link(10,7) :- #0.819.
link(7,16) :- #0.545.
link(16,7) :- #0.142.
link(7,18) :- #0.056.
link(18,7) :- #0.078.
link(7,29) :- #0.548.
link(29,7) :- #0.467.
link(7,56) :- #0.516.
link(56,7) :- #0.496.
link(7,62) :- #0.691.
link(62,7) :- #0.42.
link(7,65) :- #0.158.
link(65,7) :- #0.941.
link(7,66) :- #0.041.
link(66,7) :- #0.725.
link(7,82) :- #0.228.
link(82,7) :- #0.724.
link(7,92) :- #0.531.
link(92,7) :- #0.675.
link(7,101) :- #0.68.
link(101,7) :- #0.291.
link(7,111) :- #0.034.
link(111,7) :- #0.357.
link(7,122) :- #0.422.
link(122,7) :- #0.635.
link(8,13) :- #0.677.
link(13,8) :- #0.298.
link(8,14) :- #0.938.
link(14,8) :- #0.926.
link(8,32) :- #0.936.
link(32,8) :- #0.457.
link(8,47) :- #0.418.
link(47,8) :- #0.04.
link(8,66) :- #0.465.
link(66,8) :- #0.964.
link(8,71) :- #0.429.
link(71,8) :- #0.31.
link(8,99) :- #0.307.
link(99,8) :- #0.011.
link(8,114) :- #0.162.
link(114,8) :- #0.121.
link(8,115) :- #0.647.
link(115,8) :- #0.61.
link(8,130) :- #0.115.
link(130,8) :- #0.429.
link(9,22) :- #0.664.
link(22,9) :- #0.41.
link(9,37) :- #0.486.
link(37,9) :- #0.177.
link(9,50) :- #0.18.
link(50,9) :- #0.503.
link(9,74) :- #0.85.
link(74,9) :- #0.907.
link(9,81) :- #0.717.
link(81,9) :- #0.807.
link(9,101) :- #0.859.
link(101,9) :- #0.924.
link(9,133) :- #0.499.
link(133,9) :- #0.555.
link(10,13) :- #0.713.
link(13,10) :- #0.729.
link(10,20) :- #0.808.
link(20,10) :- #0.05.
link(10,27) :- #0.006.
link(27,10) :- #0.399.
link(10,31) :- #0.618.
link(31,10) :- #0.882.
link(10,37) :- #0.066.
link(37,10) :- #0.274.
link(10,39) :- #0.31.
link(39,10) :- #0.34.
link(10,48) :- #0.107.
link(48,10) :- #0.99.
link(10,64) :- #0.755.
link(64,10) :- #0.877.
link(10,70) :- #0.932.
link(70,10) :- #0.331.
link(10,88) :- #0.722.
link(88,10) :- #0.029.
link(10,90) :- #0.704.
link(90,10) :- #0.765.
link(10,102) :- #0.949.
link(102,10) :- #0.505.
link(10,120) :- #0.682.
link(120,10) :- #0.207.
link(10,121) :- #0.041.
link(121,10) :- #0.909.
link(10,125) :- #0.066.
link(125,10) :- #0.797.
link(10,135) :- #0.337.
link(135,10) :- #0.315.
link(10,140) :- #0.064.
link(140,10) :- #0.03.
link(11,17) :- #0.725.
link(17,11) :- #0.188.
link(11,18) :- #0.526.
link(18,11) :- #0.89.
link(11,26) :- #0.309.
link(26,11) :- #0.717.
link(11,56) :- #0.356.
link(56,11) :- #0.904.
link(11,101) :- #0.243.
link(101,11) :- #0.869.
link(11,108) :- #0.218.
link(108,11) :- #0.704.
link(11,120) :- #0.77.
link(120,11) :- #0.378.
link(11,138) :- #0.766.
link(138,11) :- #0.579.
link(12,34) :- #0.773.
link(34,12) :- #0.618.
link(12,48) :- #0.718.
link(48,12) :- #0.039.
link(12,49) :- #0.122.
link(49,12) :- #0.236.
link(12,63) :- #0.241.
link(63,12) :- #0.939.
link(12,72) :- #0.074.
link(72,12) :- #0.312.
link(12,83) :- #0.32.
link(83,12) :- #0.721.
link(12,91) :- #0.394.
link(91,12) :- #0.483.
link(12,138) :- #0.544.
link(138,12) :- #0.678.
link(12,139) :- #0.945.
link(139,12) :- #0.391.
link(13,53) :- #0.082.
link(53,13) :- #0.301.
link(13,62) :- #0.143.
link(62,13) :- #0.072.
link(13,68) :- #0.769.
link(68,13) :- #0.238.
link(13,84) :- #0.958.
link(84,13) :- #0.799.
link(13,85) :- #0.299.
link(85,13) :- #0.59.
link(13,95) :- #0.363.
link(95,13) :- #0.747.
link(13,111) :- #0.506.
link(111,13) :- #0.202.
link(13,118) :- #0.377.
link(118,13) :- #0.791.
link(13,121) :- #0.777.
link(121,13) :- #0.843.
link(13,139) :- #0.677.
link(139,13) :- #0.319.
link(14,27) :- #0.466.
link(27,14) :- #0.115.
link(14,40) :- #0.224.
link(40,14) :- #0.12.
link(14,45) :- #0.129.
link(45,14) :- #0.284.
link(14,54) :- #0.49.
link(54,14) :- #0.954.
link(14,83) :- #0.736.
link(83,14) :- #0.875.
link(14,121) :- #0.502.
link(121,14) :- #0.156.
link(14,129) :- #0.331.
link(129,14) :- #0.516.
link(14,139) :- #0.631.
link(139,14) :- #0.501.
link(15,17) :- #0.77.
link(17,15) :- #0.688.
link(15,26) :- #0.468.
link(26,15) :- #0.305.
link(15,35) :- #0.948.
link(35,15) :- #0.329.
link(15,38) :- #0.244.
link(38,15) :- #0.502.
link(15,66) :- #0.853.
link(66,15) :- #0.817.
link(15,76) :- #0.696.
link(76,15) :- #0.678.
link(15,117) :- #0.75.
link(117,15) :- #0.29.
link(15,118) :- #0.336.
link(118,15) :- #0.367.
link(15,119) :- #0.051.
link(119,15) :- #0.241.
link(15,125) :- #0.341.
link(125,15) :- #0.357.
link(16,18) :- #0.945.
link(18,16) :- #0.556.
link(16,19) :- #0.44.
link(19,16) :- #0.339.
link(16,23) :- #0.604.
link(23,16) :- #0.678.
link(16,25) :- #0.719.
link(25,16) :- #0.744.
link(16,52) :- #0.867.
link(52,16) :- #0.294.
link(16,61) :- #0.309.
link(61,16) :- #0.305.
link(16,74) :- #0.291.
link(74,16) :- #0.349.
link(16,89) :- #0.779.
link(89,16) :- #0.422.
link(16,97) :- #0.771.
link(97,16) :- #0.176.
link(16,101) :- #0.427.
link(101,16) :- #0.205.
link(16,102) :- #0.564.
link(102,16) :- #0.269.
link(16,116) :- #0.542.
link(116,16) :- #0.687.
link(16,120) :- #0.326.
link(120,16) :- #0.461.
link(16,136) :- #0.382.
link(136,16) :- #0.782.
link(16,140) :- #0.134.
link(140,16) :- #0.829.
link(17,44) :- #0.9.
link(44,17) :- #0.388.
link(17,50) :- #0.507.
link(50,17) :- #0.299.
link(17,53) :- #0.831.
link(53,17) :- #0.683.
link(17,68) :- #0.269.
link(68,17) :- #0.914.
link(17,73) :- #0.43.
link(73,17) :- #0.03.
link(17,78) :- #0.852.
link(78,17) :- #0.014.
link(17,92) :- #0.877.
link(92,17) :- #0.463.
link(17,99) :- #0.256.
link(99,17) :- #0.841.
link(17,104) :- #0.052.
link(104,17) :- #0.113.
link(17,117) :- #0.46.
link(117,17) :- #0.281.
link(17,120) :- #0.141.
link(120,17) :- #0.872.
link(17,133) :- #0.381.
link(133,17) :- #0.938.
link(17,138) :- #0.397.
link(138,17) :- #0.573.
link(18,46) :- #0.695.
link(46,18) :- #0.33.
link(18,56) :- #0.747.
link(56,18) :- #0.935.
link(18,65) :- #0.277.
link(65,18) :- #0.693.
link(18,79) :- #0.767.
link(79,18) :- #0.771.
link(18,80) :- #0.285.
link(80,18) :- #0.522.
link(18,89) :- #0.698.
link(89,18) :- #0.695.
link(18,94) :- #0.704.
link(94,18) :- #0.999.
link(18,101) :- #0.401.
link(101,18) :- #0.926.
link(18,115) :- #0.386.
link(115,18) :- #0.898.
link(18,116) :- #0.863.
link(116,18) :- #0.183.
link(19,35) :- #0.649.
link(35,19) :- #0.185.
link(19,39) :- #0.594.
link(39,19) :- #0.034.
link(19,50) :- #0.237.
link(50,19) :- #0.603.
link(19,106) :- #0.887.
link(106,19) :- #0.142.
link(19,108) :- #0.13.
link(108,19) :- #0.202.
link(19,110) :- #0.874.
link(110,19) :- #0.33.
link(19,121) :- #0.224.
link(121,19) :- #0.408.
link(20,24) :- #0.872.
link(24,20) :- #0.228.
link(20,30) :- #0.252.
link(30,20) :- #0.535.
link(20,37) :- #0.051.
link(37,20) :- #0.056.
link(20,44) :- #0.539.
link(44,20) :- #0.883.
link(20,66) :- #0.582.
link(66,20) :- #0.979.
link(20,67) :- #0.865.
link(67,20) :- #0.174.
link(20,72) :- #0.471.
link(72,20) :- #0.865.
link(20,80) :- #0.107.
link(80,20) :- #0.203.
link(20,87) :- #0.299.
link(87,20) :- #0.596.
link(20,96) :- #0.638.
link(96,20) :- #0.222.
link(20,99) :- #0.193.
link(99,20) :- #0.491.
link(20,101) :- #0.158.
link(101,20) :- #0.931.
link(20,116) :- #0.138.
link(116,20) :- #0.698.
link(20,119) :- #0.496.
link(119,20) :- #0.564.
link(20,128) :- #0.144.
link(128,20) :- #0.397.
link(20,130) :- #0.622.
link(130,20) :- #0.609.
link(20,136) :- #0.828.
link(136,20) :- #0.525.
link(20,137) :- #0.131.
link(137,20) :- #0.31.
link(21,26) :- #0.528.
link(26,21) :- #0.019.
link(21,45) :- #0.499.
link(45,21) :- #0.443.
link(21,46) :- #0.494.
link(46,21) :- #0.768.
link(21,75) :- #0.742.
link(75,21) :- #0.642.
link(21,76) :- #0.89.
link(76,21) :- #0.853.
link(21,91) :- #0.537.
link(91,21) :- #0.892.
link(21,94) :- #0.922.
link(94,21) :- #0.062.
link(21,95) :- #0.252.
link(95,21) :- #0.055.
link(21,118) :- #0.268.
link(118,21) :- #0.086.
link(21,124) :- #0.783.
link(124,21) :- #0.492.
link(21,127) :- #0.18.
link(127,21) :- #0.439.
link(22,44) :- #0.977.
link(44,22) :- #0.937.
link(22,59) :- #0.82.
link(59,22) :- #0.682.
link(22,65) :- #0.081.
link(65,22) :- #0.845.
link(22,88) :- #0.221.
link(88,22) :- #0.473.
link(22,92) :- #0.165.
link(92,22) :- #0.882.
link(22,98) :- #0.157.
link(98,22) :- #0.851.
link(22,101) :- #0.147.
link(101,22) :- #0.267.
link(22,104) :- #0.27.
link(104,22) :- #0.664.
link(22,105) :- #0.836.
link(105,22) :- #0.127.
link(22,107) :- #0.367.
link(107,22) :- #0.588.
link(22,109) :- #0.664.
link(109,22) :- #0.268.
link(22,111) :- #0.391.
link(111,22) :- #0.616.
link(22,132) :- #0.102.
link(132,22) :- #0.034.
link(22,136) :- #0.364.
link(136,22) :- #0.553.
link(23,30) :- #0.706.
link(30,23) :- #0.664.
link(23,32) :- #0.606.
link(32,23) :- #0.91.
link(23,42) :- #0.512.
link(42,23) :- #0.589.
link(23,45) :- #0.795.
link(45,23) :- #0.897.
link(23,50) :- #0.924.
link(50,23) :- #0.832.
link(23,52) :- #0.348.
link(52,23) :- #0.194.
link(23,60) :- #0.98.
link(60,23) :- #0.462.
link(23,75) :- #0.175.
link(75,23) :- #0.769.
link(23,79) :- #0.123.
link(79,23) :- #0.364.
link(23,92) :- #0.817.
link(92,23) :- #0.883.
link(24,33) :- #0.56.
link(33,24) :- #0.334.
link(24,65) :- #0.327.
link(65,24) :- #0.142.
link(24,108) :- #0.261.
link(108,24) :- #0.09.
link(24,114) :- #0.028.
link(114,24) :- #0.042.
link(24,126) :- #0.66.
link(126,24) :- #0.778.
link(24,136) :- #0.475.
link(136,24) :- #0.291.
link(25,39) :- #0.449.
link(39,25) :- #0.281.
link(25,42) :- #0.949.
link(42,25) :- #0.486.
link(25,59) :- #0.286.
link(59,25) :- #0.245.
link(25,63) :- #0.539.
link(63,25) :- #0.72.
link(25,69) :- #0.227.
link(69,25) :- #0.633.
link(25,70) :- #0.141.
link(70,25) :- #0.863.
link(25,87) :- #0.561.
link(87,25) :- #0.331.
link(25,100) :- #0.267.
link(100,25) :- #0.587.
link(25,111) :- #0.237.
link(111,25) :- #0.49.
link(25,121) :- #0.758.
link(121,25) :- #0.497.
link(26,39) :- #0.074.
link(39,26) :- #0.821.
link(26,40) :- #0.87.
link(40,26) :- #0.718.
link(26,58) :- #0.445.
link(58,26) :- #0.653.
link(26,73) :- #0.573.
link(73,26) :- #0.071.
link(26,74) :- #0.583.
link(74,26) :- #0.725.
link(26,75) :- #0.696.
link(75,26) :- #0.083.
link(26,79) :- #0.226.
link(79,26) :- #0.044.
link(26,88) :- #0.956.
link(88,26) :- #0.805.
link(26,98) :- #0.207.
link(98,26) :- #0.86.
link(26,108) :- #0.351.
link(108,26) :- #0.259.
link(26,113) :- #0.932.
link(113,26) :- #0.41.
link(26,119) :- #0.367.
link(119,26) :- #0.655.
link(26,126) :- #0.542.
link(126,26) :- #0.347.
link(26,130) :- #0.334.
link(130,26) :- #0.716.
link(26,135) :- #0.094.
link(135,26) :- #0.281.
link(27,45) :- #0.971.
link(45,27) :- #0.189.
link(27,47) :- #0.036.
link(47,27) :- #0.784.
link(27,48) :- #0.944.
link(48,27) :- #0.961.
link(27,50) :- #0.974.
link(50,27) :- #0.351.
link(27,67) :- #0.462.
link(67,27) :- #0.214.
link(27,81) :- #0.589.
link(81,27) :- #0.721.
link(27,88) :- #0.712.
link(88,27) :- #0.508.
link(27,108) :- #0.058.
link(108,27) :- #0.519.
link(27,110) :- #0.016.
link(110,27) :- #0.963.
link(27,128) :- #0.563.
link(128,27) :- #0.537.
link(27,129) :- #0.071.
link(129,27) :- #0.35.
link(28,33) :- #0.956.
link(33,28) :- #0.909.
link(28,39) :- #0.604.
link(39,28) :- #0.584.
link(28,54) :- #0.295.
link(54,28) :- #0.745.
link(28,63) :- #0.324.
link(63,28) :- #0.109.
link(28,65) :- #0.34.
link(65,28) :- #0.253.
link(28,80) :- #0.521.
link(80,28) :- #0.004.
link(28,83) :- #0.782.
link(83,28) :- #0.251.
link(28,109) :- #0.221.
link(109,28) :- #0.347.
link(29,30) :- #0.78.
link(30,29) :- #0.201.
link(29,32) :- #0.124.
link(32,29) :- #0.717.
link(29,34) :- #0.389.
link(34,29) :- #0.147.
link(29,37) :- #0.615.
link(37,29) :- #0.547.
link(29,44) :- #0.765.
link(44,29) :- #0.244.
link(29,45) :- #0.225.
link(45,29) :- #0.951.
link(29,61) :- #0.352.
link(61,29) :- #0.121.
link(29,74) :- #0.744.
link(74,29) :- #0.152.
link(29,88) :- #0.776.
link(88,29) :- #0.163.
link(29,110) :- #0.486.
link(110,29) :- #0.708.
link(29,111) :- #0.324.
link(111,29) :- #0.708.
link(29,112) :- #0.66.
link(112,29) :- #0.652.
link(30,51) :- #0.014.
link(51,30) :- #0.129.
link(30,52) :- #0.485.
link(52,30) :- #0.612.
link(30,55) :- #0.436.
link(55,30) :- #0.183.
link(30,56) :- #0.179.
link(56,30) :- #0.133.
link(30,57) :- #0.243.
link(57,30) :- #0.849.
link(30,70) :- #0.8.
link(70,30) :- #0.151.
link(30,73) :- #0.162.
link(73,30) :- #0.076.
link(30,94) :- #0.557.
link(94,30) :- #0.876.
link(30,101) :- #0.306.
link(101,30) :- #0.421.
link(30,114) :- #0.596.
link(114,30) :- #0.861.
link(30,123) :- #0.791.
link(123,30) :- #0.936.
link(30,125) :- #0.751.
link(125,30) :- #0.575.
link(30,130) :- #0.015.
link(130,30) :- #0.917.
link(30,135) :- #0.714.
link(135,30) :- #0.219.
link(30,139) :- #0.452.
link(139,30) :- #0.238.
link(31,33) :- #0.741.
link(33,31) :- #0.487.
link(31,35) :- #0.513.
link(35,31) :- #0.034.
link(31,41) :- #0.176.
link(41,31) :- #0.567.
link(31,50) :- #0.44.
link(50,31) :- #0.991.
link(31,60) :- #0.891.
link(60,31) :- #0.37.
link(31,77) :- #0.703.
link(77,31) :- #0.544.
link(31,78) :- #0.371.
link(78,31) :- #0.13.
link(31,80) :- #0.085.
link(80,31) :- #0.966.
link(31,84) :- #0.731.
link(84,31) :- #0.353.
link(31,85) :- #0.998.
link(85,31) :- #0.717.
link(31,93) :- #0.919.
link(93,31) :- #0.332.
link(31,111) :- #0.499.
link(111,31) :- #0.2.
link(31,114) :- #0.883.
link(114,31) :- #0.014.
link(32,36) :- #0.502.
link(36,32) :- #0.279.
link(32,39) :- #0.342.
link(39,32) :- #0.917.
link(32,49) :- #0.317.
link(49,32) :- #0.802.
link(32,57) :- #0.032.
link(57,32) :- #0.788.
link(32,77) :- #0.677.
link(77,32) :- #0.018.
link(32,80) :- #0.259.
link(80,32) :- #0.075.
link(32,86) :- #0.012.
link(86,32) :- #0.954.
link(32,121) :- #0.025.
link(121,32) :- #0.491.
link(32,130) :- #0.709.
link(130,32) :- #0.588.
link(33,36) :- #0.725.
link(36,33) :- #0.653.
link(33,47) :- #0.417.
link(47,33) :- #0.394.
link(33,48) :- #0.188.
link(48,33) :- #0.196.
link(33,53) :- #0.087.
link(53,33) :- #0.658.
link(33,56) :- #0.759.
link(56,33) :- #0.758.
link(33,57) :- #0.852.
link(57,33) :- #0.585.
link(33,63) :- #0.885.
link(63,33) :- #0.906.
link(33,66) :- #0.339.
link(66,33) :- #0.09.
link(33,85) :- #0.828.
link(85,33) :- #0.549.
link(33,88) :- #0.663.
link(88,33) :- #0.267.
link(33,102) :- #0.227.
link(102,33) :- #0.466.
link(33,108) :- #0.479.
link(108,33) :- #0.445.
link(34,41) :- #0.259.
link(41,34) :- #0.764.
link(34,57) :- #0.033.
link(57,34) :- #0.063.
link(34,78) :- #0.549.
link(78,34) :- #0.957.
link(34,94) :- #0.507.
link(94,34) :- #0.75.
link(34,99) :- #0.119.
link(99,34) :- #0.58.
link(34,100) :- #0.623.
link(100,34) :- #0.317.
link(34,126) :- #0.978.
link(126,34) :- #0.354.
link(34,134) :- #0.189.
link(134,34) :- #0.117.
link(35,36) :- #0.103.
link(36,35) :- #0.748.
link(35,56) :- #0.02.
link(56,35) :- #0.446.
link(35,58) :- #0.948.
link(58,35) :- #0.596.
link(35,73) :- #0.436.
link(73,35) :- #0.517.
link(35,76) :- #0.356.
link(76,35) :- #0.544.
link(35,77) :- #0.937.
link(77,35) :- #0.622.
link(35,93) :- #0.005.
link(93,35) :- #0.326.
link(35,104) :- #0.835.
link(104,35) :- #0.717.
link(35,111) :- #0.971.
link(111,35) :- #0.958.
link(35,119) :- #0.852.
link(119,35) :- #0.753.
link(35,123) :- #0.64.
link(123,35) :- #0.476.
link(35,139) :- #0.267.
link(139,35) :- #0.168.
link(36,42) :- #0.085.
link(42,36) :- #0.736.
link(36,44) :- #0.062.
link(44,36) :- #0.371.
link(36,61) :- #0.139.
link(61,36) :- #0.567.
link(36,69) :- #0.085.
link(69,36) :- #0.409.
link(36,76) :- #0.149.
link(76,36) :- #0.341.
link(36,106) :- #0.178.
link(106,36) :- #0.21.
link(36,114) :- #0.663.
link(114,36) :- #0.03.
link(36,126) :- #0.047.
link(126,36) :- #0.373.
link(36,130) :- #0.929.
link(130,36) :- #0.612.
link(36,140) :- #0.679.
link(140,36) :- #0.979.
link(37,44) :- #0.86.
link(44,37) :- #0.158.
link(37,54) :- #0.024.
link(54,37) :- #0.847.
link(37,62) :- #0.254.
link(62,37) :- #0.954.
link(37,68) :- #0.525.
link(68,37) :- #0.068.
link(37,71) :- #0.306.
link(71,37) :- #0.284.
link(37,74) :- #0.546.
link(74,37) :- #0.208.
link(37,75) :- #0.337.
link(75,37) :- #0.143.
link(37,90) :- #0.718.
link(90,37) :- #0.71.
link(37,95) :- #0.998.
link(95,37) :- #0.615.
link(37,123) :- #0.395.
link(123,37) :- #0.473.
link(37,132) :- #0.742.
link(132,37) :- #0.468.
link(37,139) :- #0.389.
link(139,37) :- #0.419.
link(38,98) :- #0.932.
link(98,38) :- #0.751.
link(38,111) :- #0.795.
link(111,38) :- #0.655.
link(38,113) :- #0.729.
link(113,38) :- #0.731.
link(39,42) :- #0.22.
link(42,39) :- #0.367.
link(39,62) :- #0.513.
link(62,39) :- #0.278.
link(39,112) :- #0.222.
link(112,39) :- #0.389.
link(39,116) :- #0.731.
link(116,39) :- #0.806.
link(39,125) :- #0.975.
link(125,39) :- #0.719.
link(40,43) :- #0.205.
link(43,40) :- #0.994.
link(40,51) :- #0.493.
link(51,40) :- #0.806.
link(40,65) :- #0.206.
link(65,40) :- #0.88.
link(40,74) :- #0.48.
link(74,40) :- #0.873.
link(40,89) :- #0.32.
link(89,40) :- #0.268.
link(40,99) :- #0.598.
link(99,40) :- #0.66.
link(40,104) :- #0.952.
link(104,40) :- #0.182.
link(40,116) :- #0.669.
link(116,40) :- #0.94.
link(41,53) :- #0.331.
link(53,41) :- #0.724.
link(41,56) :- #0.675.
link(56,41) :- #0.806.
link(41,58) :- #0.249.
link(58,41) :- #0.008.
link(41,61) :- #0.18.
link(61,41) :- #0.803.
link(41,82) :- #0.414.
link(82,41) :- #0.995.
link(41,83) :- #0.646.
link(83,41) :- #0.203.
link(41,84) :- #0.872.
link(84,41) :- #0.11.
link(41,102) :- #0.579.
link(102,41) :- #0.561.
link(41,129) :- #0.187.
link(129,41) :- #0.512.
link(41,130) :- #0.287.
link(130,41) :- #0.775.
link(42,48) :- #0.093.
link(48,42) :- #0.074.
link(42,52) :- #0.48.
link(52,42) :- #0.19.
link(42,67) :- #0.78.
link(67,42) :- #0.415.
link(42,85) :- #0.928.
link(85,42) :- #0.613.
link(42,90) :- #0.294.
link(90,42) :- #0.126.
link(42,118) :- #0.721.
link(118,42) :- #0.828.
link(42,132) :- #0.438.
link(132,42) :- #0.471.
link(43,56) :- #0.557.
link(56,43) :- #0.202.
link(43,63) :- #0.691.
link(63,43) :- #0.925.
link(43,64) :- #0.261.
link(64,43) :- #0.158.
link(43,65) :- #0.816.
link(65,43) :- #0.539.
link(43,67) :- #0.821.
link(67,43) :- #0.578.
link(43,74) :- #0.982.
link(74,43) :- #0.295.
link(43,78) :- #0.682.
link(78,43) :- #0.977.
link(43,99) :- #0.025.
link(99,43) :- #0.516.
link(43,102) :- #0.32.
link(102,43) :- #0.594.
link(43,112) :- #0.444.
link(112,43) :- #0.52.
link(43,115) :- #0.979.
link(115,43) :- #0.223.
link(43,116) :- #0.272.
link(116,43) :- #0.894.
link(43,129) :- #0.627.
link(129,43) :- #0.749.
link(44,46) :- #0.105.
link(46,44) :- #0.765.
link(44,48) :- #0.851.
link(48,44) :- #0.361.
link(44,54) :- #0.61.
link(54,44) :- #0.021.
link(44,79) :- #0.67.
link(79,44) :- #0.355.
link(44,83) :- #0.138.
link(83,44) :- #0.454.
link(44,89) :- #0.849.
link(89,44) :- #0.297.
link(44,98) :- #0.936.
link(98,44) :- #0.916.
link(44,104) :- #0.446.
link(104,44) :- #0.196.
link(44,109) :- #0.576.
link(109,44) :- #0.914.
link(44,115) :- #0.535.
link(115,44) :- #0.676.
link(44,119) :- #0.868.
link(119,44) :- #0.009.
link(44,130) :- #0.61.
link(130,44) :- #0.163.
link(44,134) :- #0.739.
link(134,44) :- #0.425.
link(44,138) :- #0.297.
link(138,44) :- #0.742.
link(45,69) :- #0.548.
link(69,45) :- #0.508.
link(45,71) :- #0.063.
link(71,45) :- #0.834.
link(45,97) :- #0.547.
link(97,45) :- #0.871.
link(45,100) :- #0.557.
link(100,45) :- #0.72.
link(45,103) :- #0.722.
link(103,45) :- #0.182.
link(45,104) :- #0.573.
link(104,45) :- #0.348.
link(45,109) :- #0.995.
link(109,45) :- #0.564.
link(45,120) :- #0.908.
link(120,45) :- #0.013.
link(45,131) :- #0.7.
link(131,45) :- #0.21.
link(45,135) :- #0.388.
link(135,45) :- #0.444.
link(45,136) :- #0.654.
link(136,45) :- #0.444.
link(46,49) :- #0.157.
link(49,46) :- #0.39.
link(46,54) :- #0.891.
link(54,46) :- #0.429.
link(46,66) :- #0.963.
link(66,46) :- #0.027.
link(46,67) :- #0.005.
link(67,46) :- #0.789.
link(46,76) :- #0.305.
link(76,46) :- #0.733.
link(46,90) :- #0.687.
link(90,46) :- #0.736.
link(46,100) :- #0.209.
link(100,46) :- #0.163.
link(46,105) :- #0.771.
link(105,46) :- #0.755.
link(46,108) :- #0.29.
link(108,46) :- #0.84.
link(46,130) :- #0.363.
link(130,46) :- #0.623.
link(47,52) :- #0.124.
link(52,47) :- #0.986.
link(47,60) :- #0.192.
link(60,47) :- #0.591.
link(47,80) :- #0.685.
link(80,47) :- #0.242.
link(47,95) :- #0.566.
link(95,47) :- #0.823.
link(47,100) :- #0.276.
link(100,47) :- #0.583.
link(47,136) :- #0.364.
link(136,47) :- #0.087.
link(47,140) :- #0.63.
link(140,47) :- #0.001.
link(48,51) :- #0.657.
link(51,48) :- #0.833.
link(48,57) :- #0.361.
link(57,48) :- #0.585.
link(48,64) :- #0.345.
link(64,48) :- #0.908.
link(48,70) :- #0.959.
link(70,48) :- #0.95.
link(48,75) :- #0.899.
link(75,48) :- #0.632.
link(48,98) :- #0.991.
link(98,48) :- #0.829.
link(48,103) :- #0.713.
link(103,48) :- #0.765.
link(48,105) :- #0.899.
link(105,48) :- #0.917.
link(48,113) :- #0.986.
link(113,48) :- #0.279.
link(48,120) :- #0.926.
link(120,48) :- #0.17.
link(49,64) :- #0.667.
link(64,49) :- #0.005.
link(49,65) :- #0.705.
link(65,49) :- #0.062.
link(49,81) :- #0.93.
link(81,49) :- #0.164.
link(49,82) :- #0.219.
link(82,49) :- #0.248.
link(49,98) :- #0.568.
link(98,49) :- #0.075.
link(49,99) :- #0.311.
link(99,49) :- #0.556.
link(49,110) :- #0.684.
link(110,49) :- #0.642.
link(49,137) :- #0.099.
link(137,49) :- #0.759.
link(50,53) :- #0.994.
link(53,50) :- #0.511.
link(50,61) :- #0.391.
link(61,50) :- #0.487.
link(50,63) :- #0.163.
link(63,50) :- #0.419.
link(50,65) :- #0.994.
link(65,50) :- #0.592.
link(50,67) :- #0.045.
link(67,50) :- #0.526.
link(50,73) :- #0.247.
link(73,50) :- #0.077.
link(50,89) :- #0.516.
link(89,50) :- #0.567.
link(50,97) :- #0.769.
link(97,50) :- #0.997.
link(50,98) :- #0.616.
link(98,50) :- #0.038.
link(50,122) :- #0.575.
link(122,50) :- #0.985.
link(50,132) :- #0.616.
link(132,50) :- #0.27.
link(51,80) :- #0.132.
link(80,51) :- #0.811.
link(51,83) :- #0.795.
link(83,51) :- #0.979.
link(51,98) :- #0.475.
link(98,51) :- #0.708.
link(51,113) :- #0.722.
link(113,51) :- #0.457.
link(51,118) :- #0.153.
link(118,51) :- #0.644.
link(51,134) :- #0.383.
link(134,51) :- #0.02.
link(51,138) :- #0.043.
link(138,51) :- #0.902.
link(51,139) :- #0.191.
link(139,51) :- #0.27.
link(52,57) :- #0.032.
link(57,52) :- #0.854.
link(52,66) :- #0.764.
link(66,52) :- #0.438.
link(52,88) :- #0.5.
link(88,52) :- #0.705.
link(52,107) :- #0.92.
link(107,52) :- #0.92.
link(52,119) :- #0.554.
link(119,52) :- #0.082.
link(53,54) :- #0.003.
link(54,53) :- #0.706.
link(53,63) :- #0.084.
link(63,53) :- #0.02.
link(53,78) :- #0.946.
link(78,53) :- #0.873.
link(53,80) :- #0.174.
link(80,53) :- #0.085.
link(53,81) :- #0.091.
link(81,53) :- #0.524.
link(53,87) :- #0.883.
link(87,53) :- #0.062.
link(53,90) :- #0.231.
link(90,53) :- #0.438.
link(53,102) :- #0.291.
link(102,53) :- #0.625.
link(53,128) :- #0.732.
link(128,53) :- #0.446.
link(53,129) :- #0.363.
link(129,53) :- #0.367.
link(53,131) :- #0.226.
link(131,53) :- #0.784.
link(53,136) :- #0.085.
link(136,53) :- #0.218.
link(53,137) :- #0.928.
link(137,53) :- #0.934.
link(54,74) :- #0.598.
link(74,54) :- #0.929.
link(54,84) :- #0.226.
link(84,54) :- #0.14.
link(54,109) :- #0.213.
link(109,54) :- #0.598.
link(55,57) :- #0.856.
link(57,55) :- #0.699.
link(55,63) :- #0.106.
link(63,55) :- #0.037.
link(55,66) :- #0.895.
link(66,55) :- #0.412.
link(55,70) :- #0.803.
link(70,55) :- #0.874.
link(55,71) :- #0.266.
link(71,55) :- #0.405.
link(55,76) :- #0.774.
link(76,55) :- #0.925.
link(55,88) :- #0.575.
link(88,55) :- #0.749.
link(55,91) :- #0.42.
link(91,55) :- #0.474.
link(55,102) :- #0.661.
link(102,55) :- #0.406.
link(55,125) :- #0.539.
link(125,55) :- #0.351.
link(55,135) :- #0.177.
link(135,55) :- #0.654.
link(55,136) :- #0.093.
link(136,55) :- #0.157.
link(56,67) :- #0.032.
link(67,56) :- #0.981.
link(56,91) :- #0.395.
link(91,56) :- #0.775.
link(56,94) :- #0.502.
link(94,56) :- #0.064.
link(56,95) :- #0.108.
link(95,56) :- #0.546.
link(56,101) :- #0.814.
link(101,56) :- #0.656.
link(56,103) :- #0.805.
link(103,56) :- #0.905.
link(56,116) :- #0.82.
link(116,56) :- #0.476.
link(56,124) :- #0.944.
link(124,56) :- #0.874.
link(56,126) :- #0.034.
link(126,56) :- #0.607.
link(57,74) :- #0.788.
link(74,57) :- #0.982.
link(57,77) :- #0.412.
link(77,57) :- #0.574.
link(57,94) :- #0.668.
link(94,57) :- #0.908.
link(57,100) :- #0.314.
link(100,57) :- #0.78.
link(57,111) :- #0.796.
link(111,57) :- #0.345.
link(57,121) :- #0.582.
link(121,57) :- #0.021.
link(57,123) :- #0.119.
link(123,57) :- #0.271.
link(58,73) :- #0.538.
link(73,58) :- #0.343.
link(58,87) :- #0.986.
link(87,58) :- #0.468.
link(58,90) :- #0.299.
link(90,58) :- #0.047.
link(58,104) :- #0.43.
link(104,58) :- #0.739.
link(58,113) :- #0.463.
link(113,58) :- #0.317.
link(59,60) :- #0.636.
link(60,59) :- #0.917.
link(59,98) :- #0.283.
link(98,59) :- #0.202.
link(59,99) :- #0.766.
link(99,59) :- #0.422.
link(59,118) :- #0.543.
link(118,59) :- #0.732.
link(59,128) :- #0.303.
link(128,59) :- #0.363.
link(59,137) :- #0.804.
link(137,59) :- #0.195.
link(60,68) :- #0.714.
link(68,60) :- #0.134.
link(60,73) :- #0.512.
link(73,60) :- #0.481.
link(60,85) :- #0.734.
link(85,60) :- #0.117.
link(60,93) :- #0.9.
link(93,60) :- #0.027.
link(60,100) :- #0.373.
link(100,60) :- #0.648.
link(60,139) :- #0.04.
link(139,60) :- #0.098.
link(61,69) :- #0.692.
link(69,61) :- #0.408.
link(61,82) :- #0.037.
link(82,61) :- #0.762.
link(61,93) :- #0.07.
link(93,61) :- #0.018.
link(61,95) :- #0.924.
link(95,61) :- #0.055.
link(61,100) :- #0.652.
link(100,61) :- #0.007.
link(61,105) :- #0.447.
link(105,61) :- #0.102.
link(61,107) :- #0.576.
link(107,61) :- #0.59.
link(61,120) :- #0.811.
link(120,61) :- #0.827.
link(62,72) :- #0.716.
link(72,62) :- #0.635.
link(62,88) :- #0.518.
link(88,62) :- #0.636.
link(62,139) :- #0.846.
link(139,62) :- #0.854.
link(63,80) :- #0.417.
link(80,63) :- #0.871.
link(63,86) :- #0.22.
link(86,63) :- #0.007.
link(63,118) :- #0.64.
link(118,63) :- #0.053.
link(63,136) :- #0.598.
link(136,63) :- #0.821.
link(63,139) :- #0.578.
link(139,63) :- #0.899.
link(64,70) :- #0.239.
link(70,64) :- #0.293.
link(64,111) :- #0.861.
link(111,64) :- #0.82.
link(64,115) :- #0.498.
link(115,64) :- #0.186.
link(64,130) :- #0.221.
link(130,64) :- #0.283.
link(65,85) :- #0.61.
link(85,65) :- #0.242.
link(65,99) :- #0.558.
link(99,65) :- #0.837.
link(65,126) :- #0.328.
link(126,65) :- #0.126.
link(65,136) :- #0.539.
link(136,65) :- #0.216.
link(65,140) :- #0.131.
link(140,65) :- #0.193.
link(66,84) :- #0.053.
link(84,66) :- #0.379.
link(66,92) :- #0.263.
link(92,66) :- #0.249.
link(66,100) :- #0.222.
link(100,66) :- #0.294.
link(66,119) :- #0.336.
link(119,66) :- #0.749.
link(66,124) :- #0.822.
link(124,66) :- #0.152.
link(66,125) :- #0.322.
link(125,66) :- #0.821.
link(66,127) :- #0.597.
link(127,66) :- #0.506.
link(66,128) :- #0.603.
link(128,66) :- #0.914.
link(66,132) :- #0.45.
link(132,66) :- #0.696.
link(66,133) :- #0.113.
link(133,66) :- #0.16.
link(67,68) :- #0.917.
link(68,67) :- #0.246.
link(67,70) :- #0.375.
link(70,67) :- #0.11.
link(67,76) :- #0.004.
link(76,67) :- #0.438.
link(67,82) :- #0.239.
link(82,67) :- #0.75.
link(67,92) :- #0.839.
link(92,67) :- #0.84.
link(67,98) :- #0.983.
link(98,67) :- #0.575.
link(67,103) :- #0.855.
link(103,67) :- #0.64.
link(67,113) :- #0.112.
link(113,67) :- #0.437.
link(67,116) :- #0.358.
link(116,67) :- #0.242.
link(67,140) :- #0.87.
link(140,67) :- #0.339.
link(68,81) :- #0.267.
link(81,68) :- #0.172.
link(68,123) :- #0.473.
link(123,68) :- #0.83.
link(68,138) :- #0.05.
link(138,68) :- #0.052.
link(69,72) :- #0.029.
link(72,69) :- #0.099.
link(69,81) :- #0.277.
link(81,69) :- #0.488.
link(69,94) :- #0.591.
link(94,69) :- #0.857.
link(69,96) :- #0.515.
link(96,69) :- #0.688.
link(69,117) :- #0.129.
link(117,69) :- #0.08.
link(69,131) :- #0.467.
link(131,69) :- #0.453.
link(70,73) :- #0.024.
link(73,70) :- #0.285.
link(70,75) :- #0.338.
link(75,70) :- #0.591.
link(70,90) :- #0.091.
link(90,70) :- #0.171.
link(70,93) :- #0.254.
link(93,70) :- #0.713.
link(70,107) :- #0.768.
link(107,70) :- #0.899.
link(70,116) :- #0.719.
link(116,70) :- #0.65.
link(70,117) :- #0.861.
link(117,70) :- #0.429.
link(70,135) :- #0.219.
link(135,70) :- #0.07.
link(70,136) :- #0.852.
link(136,70) :- #0.929.
link(70,140) :- #0.142.
link(140,70) :- #0.583.
link(71,81) :- #0.734.
link(81,71) :- #0.325.
link(71,85) :- #0.835.
link(85,71) :- #0.971.
link(71,108) :- #0.72.
link(108,71) :- #0.289.
link(71,128) :- #0.134.
link(128,71) :- #0.896.
link(71,130) :- #0.878.
link(130,71) :- #0.961.
link(71,139) :- #0.644.
link(139,71) :- #0.555.
link(72,80) :- #0.245.
link(80,72) :- #0.149.
link(72,82) :- #0.192.
link(82,72) :- #0.164.
link(72,95) :- #0.625.
link(95,72) :- #0.853.
link(72,101) :- #0.6.
link(101,72) :- #0.885.
link(72,104) :- #0.846.
link(104,72) :- #0.38.
link(72,110) :- #0.409.
link(110,72) :- #0.821.
link(72,115) :- #0.697.
link(115,72) :- #0.76.
link(72,120) :- #0.805.
link(120,72) :- #0.92.
link(72,121) :- #0.977.
link(121,72) :- #0.447.
link(72,128) :- #0.224.
link(128,72) :- #0.334.
link(72,129) :- #0.781.
link(129,72) :- #0.485.
link(72,133) :- #0.316.
link(133,72) :- #0.49.
link(73,76) :- #0.217.
link(76,73) :- #0.394.
link(73,78) :- #0.954.
link(78,73) :- #0.63.
link(73,82) :- #0.764.
link(82,73) :- #0.536.
link(73,89) :- #0.058.
link(89,73) :- #0.072.
link(73,94) :- #0.264.
link(94,73) :- #0.685.
link(73,95) :- #0.481.
link(95,73) :- #0.901.
link(73,134) :- #0.51.
link(134,73) :- #0.014.
link(73,137) :- #0.108.
link(137,73) :- #0.411.
link(73,139) :- #0.456.
link(139,73) :- #0.764.
link(74,81) :- #0.507.
link(81,74) :- #0.476.
link(74,98) :- #0.258.
link(98,74) :- #0.131.
link(74,106) :- #0.816.
link(106,74) :- #0.108.
link(74,123) :- #0.789.
link(123,74) :- #0.404.
link(74,130) :- #0.328.
link(130,74) :- #0.271.
link(74,132) :- #0.623.
link(132,74) :- #0.324.
link(75,76) :- #0.245.
link(76,75) :- #0.151.
link(75,79) :- #0.044.
link(79,75) :- #0.081.
link(75,88) :- #0.923.
link(88,75) :- #0.424.
link(75,94) :- #0.669.
link(94,75) :- #0.989.
link(75,100) :- #0.449.
link(100,75) :- #0.976.
link(75,102) :- #0.323.
link(102,75) :- #0.845.
link(75,105) :- #0.507.
link(105,75) :- #0.144.
link(75,112) :- #0.749.
link(112,75) :- #0.511.
link(75,119) :- #0.912.
link(119,75) :- #0.058.
link(75,121) :- #0.196.
link(121,75) :- #0.418.
link(75,130) :- #0.353.
link(130,75) :- #0.438.
link(75,136) :- #0.618.
link(136,75) :- #0.402.
link(76,77) :- #0.332.
link(77,76) :- #0.223.
link(76,90) :- #0.711.
link(90,76) :- #0.556.
link(76,107) :- #0.849.
link(107,76) :- #0.381.
link(77,83) :- #0.836.
link(83,77) :- #0.022.
link(77,86) :- #0.576.
link(86,77) :- #0.84.
link(78,80) :- #0.704.
link(80,78) :- #0.999.
link(78,96) :- #0.246.
link(96,78) :- #0.771.
link(79,86) :- #0.628.
link(86,79) :- #0.605.
link(79,95) :- #0.248.
link(95,79) :- #0.799.
link(79,97) :- #0.226.
link(97,79) :- #0.714.
link(79,106) :- #0.486.
link(106,79) :- #0.591.
link(79,108) :- #0.176.
link(108,79) :- #0.026.
link(79,123) :- #0.819.
link(123,79) :- #0.717.
link(79,135) :- #0.382.
link(135,79) :- #0.513.
link(80,83) :- #0.85.
link(83,80) :- #0.44.
link(80,84) :- #0.79.
link(84,80) :- #0.029.
link(80,88) :- #0.671.
link(88,80) :- #0.138.
link(80,92) :- #0.587.
link(92,80) :- #0.533.
link(80,93) :- #0.869.
link(93,80) :- #0.219.
link(80,95) :- #0.518.
link(95,80) :- #0.446.
link(80,126) :- #0.738.
link(126,80) :- #0.554.
link(80,127) :- #0.027.
link(127,80) :- #0.53.
link(80,138) :- #0.131.
link(138,80) :- #0.684.
link(81,91) :- #0.543.
link(91,81) :- #0.274.
link(81,98) :- #0.631.
link(98,81) :- #0.999.
link(81,120) :- #0.138.
link(120,81) :- #0.393.
link(81,127) :- #0.132.
link(127,81) :- #0.159.
link(81,134) :- #0.131.
link(134,81) :- #0.334.
link(81,137) :- #0.283.
link(137,81) :- #0.581.
link(82,83) :- #0.013.
link(83,82) :- #0.814.
link(82,89) :- #0.292.
link(89,82) :- #0.567.
link(82,105) :- #0.024.
link(105,82) :- #0.642.
link(82,123) :- #0.175.
link(123,82) :- #0.778.
link(82,130) :- #0.97.
link(130,82) :- #0.577.
link(82,138) :- #0.624.
link(138,82) :- #0.207.
link(83,86) :- #0.865.
link(86,83) :- #0.561.
link(83,94) :- #0.147.
link(94,83) :- #0.545.
link(83,96) :- #0.945.
link(96,83) :- #0.506.
link(83,98) :- #0.315.
link(98,83) :- #0.14.
link(83,101) :- #0.689.
link(101,83) :- #0.26.
link(83,124) :- #0.654.
link(124,83) :- #0.267.
link(83,133) :- #0.001.
link(133,83) :- #0.719.
link(83,139) :- #0.634.
link(139,83) :- #0.844.
link(84,119) :- #0.566.
link(119,84) :- #0.977.
link(84,120) :- #0.07.
link(120,84) :- #0.385.
link(84,137) :- #0.982.
link(137,84) :- #0.447.
link(84,138) :- #0.205.
link(138,84) :- #0.82.
link(84,140) :- #0.163.
link(140,84) :- #0.15.
link(85,102) :- #0.32.
link(102,85) :- #0.088.
link(85,103) :- #0.283.
link(103,85) :- #0.378.
link(85,126) :- #0.626.
link(126,85) :- #0.187.
link(85,127) :- #0.423.
link(127,85) :- #0.503.
link(85,128) :- #0.667.
link(128,85) :- #0.789.
link(85,133) :- #0.758.
link(133,85) :- #0.145.
link(85,136) :- #0.853.
link(136,85) :- #0.896.
link(86,87) :- #0.533.
link(87,86) :- #0.77.
link(86,95) :- #0.978.
link(95,86) :- #0.268.
link(86,106) :- #0.058.
link(106,86) :- #0.335.
link(86,113) :- #0.534.
link(113,86) :- #0.091.
link(86,116) :- #0.068.
link(116,86) :- #0.854.
link(86,119) :- #0.147.
link(119,86) :- #0.22.
link(86,122) :- #0.019.
link(122,86) :- #0.131.
link(86,127) :- #0.71.
link(127,86) :- #0.318.
link(87,103) :- #0.534.
link(103,87) :- #0.886.
link(87,110) :- #0.672.
link(110,87) :- #0.683.
link(87,115) :- #0.334.
link(115,87) :- #0.509.
link(87,133) :- #0.911.
link(133,87) :- #0.73.
link(88,97) :- #0.522.
link(97,88) :- #0.804.
link(88,99) :- #0.534.
link(99,88) :- #0.264.
link(88,102) :- #0.384.
link(102,88) :- #0.715.
link(88,105) :- #0.678.
link(105,88) :- #0.191.
link(88,108) :- #0.341.
link(108,88) :- #0.8.
link(88,119) :- #0.664.
link(119,88) :- #0.335.
link(88,133) :- #0.992.
link(133,88) :- #0.616.
link(89,96) :- #0.991.
link(96,89) :- #0.166.
link(89,104) :- #0.318.
link(104,89) :- #0.221.
link(89,112) :- #0.261.
link(112,89) :- #0.404.
link(89,116) :- #0.873.
link(116,89) :- #0.392.
link(89,119) :- #0.909.
link(119,89) :- #0.62.
link(90,92) :- #0.909.
link(92,90) :- #0.286.
link(90,96) :- #0.16.
link(96,90) :- #0.697.
link(90,110) :- #0.705.
link(110,90) :- #0.953.
link(90,117) :- #0.952.
link(117,90) :- #0.696.
link(90,123) :- #0.376.
link(123,90) :- #0.286.
link(90,127) :- #0.231.
link(127,90) :- #0.548.
link(90,132) :- #0.096.
link(132,90) :- #0.411.
link(90,134) :- #0.431.
link(134,90) :- #0.824.
link(91,111) :- #0.097.
link(111,91) :- #0.771.
link(91,117) :- #0.559.
link(117,91) :- #0.592.
link(91,120) :- #0.18.
link(120,91) :- #0.929.
link(91,127) :- #0.949.
link(127,91) :- #0.03.
link(91,134) :- #0.47.
link(134,91) :- #0.597.
link(92,97) :- #0.738.
link(97,92) :- #0.931.
link(92,128) :- #0.237.
link(128,92) :- #0.243.
link(92,133) :- #0.781.
link(133,92) :- #0.681.
link(93,108) :- #0.999.
link(108,93) :- #0.601.
link(93,113) :- #0.188.
link(113,93) :- #0.322.
link(93,118) :- #0.495.
link(118,93) :- #0.233.
link(93,120) :- #0.7.
link(120,93) :- #0.549.
link(93,124) :- #0.365.
link(124,93) :- #0.11.
link(94,104) :- #0.826.
link(104,94) :- #0.229.
link(94,110) :- #0.254.
link(110,94) :- #0.969.
link(94,111) :- #0.063.
link(111,94) :- #0.108.
link(94,118) :- #0.217.
link(118,94) :- #0.445.
link(94,139) :- #0.764.
link(139,94) :- #0.032.
link(95,108) :- #0.557.
link(108,95) :- #0.753.
link(95,116) :- #0.69.
link(116,95) :- #0.221.
link(95,118) :- #0.956.
link(118,95) :- #0.082.
link(95,131) :- #0.984.
link(131,95) :- #0.975.
link(95,137) :- #0.905.
link(137,95) :- #0.837.
link(96,98) :- #0.113.
link(98,96) :- #0.938.
link(96,109) :- #0.013.
link(109,96) :- #0.15.
link(96,123) :- #0.085.
link(123,96) :- #0.529.
link(96,134) :- #0.932.
link(134,96) :- #0.64.
link(96,136) :- #0.28.
link(136,96) :- #0.926.
link(97,101) :- #0.991.
link(101,97) :- #0.49.
link(97,105) :- #0.263.
link(105,97) :- #0.641.
link(97,119) :- #0.523.
link(119,97) :- #0.488.
link(97,124) :- #0.7.
link(124,97) :- #0.209.
link(98,108) :- #0.563.
link(108,98) :- #0.632.
link(98,115) :- #0.674.
link(115,98) :- #0.02.
link(98,123) :- #0.596.
link(123,98) :- #0.138.
link(98,125) :- #0.289.
link(125,98) :- #0.238.
link(98,136) :- #0.216.
link(136,98) :- #0.588.
link(99,101) :- #0.193.
link(101,99) :- #0.969.
link(99,102) :- #0.67.
link(102,99) :- #0.601.
link(99,106) :- #0.93.
link(106,99) :- #0.019.
link(99,114) :- #0.758.
link(114,99) :- #0.598.
link(99,124) :- #0.372.
link(124,99) :- #0.499.
link(99,140) :- #0.345.
link(140,99) :- #0.055.
link(100,106) :- #0.827.
link(106,100) :- #0.961.
link(100,107) :- #0.01.
link(107,100) :- #0.563.
link(100,109) :- #0.111.
link(109,100) :- #0.406.
link(100,112) :- #0.071.
link(112,100) :- #0.984.
link(100,117) :- #0.284.
link(117,100) :- #0.359.
link(100,118) :- #0.262.
link(118,100) :- #0.178.
link(100,133) :- #0.114.
link(133,100) :- #0.755.
link(101,114) :- #0.903.
link(114,101) :- #0.018.
link(102,122) :- #0.458.
link(122,102) :- #0.925.
link(102,123) :- #0.86.
link(123,102) :- #0.474.
link(102,127) :- #0.76.
link(127,102) :- #0.743.
link(102,134) :- #0.463.
link(134,102) :- #0.329.
link(102,135) :- #0.966.
link(135,102) :- #0.587.
link(102,137) :- #0.794.
link(137,102) :- #0.781.
link(103,114) :- #0.379.
link(114,103) :- #0.225.
link(103,131) :- #0.999.
link(131,103) :- #0.87.
link(104,106) :- #0.966.
link(106,104) :- #0.862.
link(104,115) :- #0.241.
link(115,104) :- #0.916.
link(104,117) :- #0.274.
link(117,104) :- #0.295.
link(104,122) :- #0.268.
link(122,104) :- #0.166.
link(105,108) :- #0.482.
link(108,105) :- #0.45.
link(105,112) :- #0.821.
link(112,105) :- #0.739.
link(105,122) :- #0.049.
link(122,105) :- #0.159.
link(105,126) :- #0.917.
link(126,105) :- #0.865.
link(106,117) :- #0.291.
link(117,106) :- #0.365.
link(106,118) :- #0.747.
link(118,106) :- #0.098.
link(106,119) :- #0.91.
link(119,106) :- #0.236.
link(106,134) :- #0.224.
link(134,106) :- #0.757.
link(107,112) :- #0.638.
link(112,107) :- #0.811.
link(107,128) :- #0.141.
link(128,107) :- #0.559.
link(107,136) :- #0.675.
link(136,107) :- #0.823.
link(108,109) :- #0.302.
link(109,108) :- #0.508.
link(108,129) :- #0.438.
link(129,108) :- #0.241.
link(108,140) :- #0.546.
link(140,108) :- #0.283.
link(109,115) :- #0.149.
link(115,109) :- #0.913.
link(109,118) :- #0.367.
link(118,109) :- #0.929.
link(109,130) :- #0.362.
link(130,109) :- #0.505.
link(109,132) :- #0.046.
link(132,109) :- #0.843.
link(109,133) :- #0.373.
link(133,109) :- #0.716.
link(109,135) :- #0.236.
link(135,109) :- #0.199.
link(109,136) :- #0.396.
link(136,109) :- #0.775.
link(109,137) :- #0.495.
link(137,109) :- #0.776.
link(110,117) :- #0.018.
link(117,110) :- #0.268.
link(110,135) :- #0.019.
link(135,110) :- #0.111.
link(111,129) :- #0.05.
link(129,111) :- #0.963.
link(111,136) :- #0.034.
link(136,111) :- #0.204.
link(112,116) :- #0.849.
link(116,112) :- #0.019.
link(112,119) :- #0.858.
link(119,112) :- #0.04.
link(112,134) :- #0.375.
link(134,112) :- #0.7.
link(113,138) :- #0.494.
link(138,113) :- #0.897.
link(114,118) :- #0.752.
link(118,114) :- #0.686.
link(114,125) :- #0.668.
link(125,114) :- #0.074.
link(115,119) :- #0.34.
link(119,115) :- #0.533.
link(115,125) :- #0.263.
link(125,115) :- #0.731.
link(115,136) :- #0.291.
link(136,115) :- #0.748.
link(116,119) :- #0.041.
link(119,116) :- #0.438.
link(116,125) :- #0.925.
link(125,116) :- #0.905.
link(116,133) :- #0.916.
link(133,116) :- #0.648.
link(116,134) :- #0.156.
link(134,116) :- #0.884.
link(117,127) :- #0.887.
link(127,117) :- #0.122.
link(117,131) :- #0.508.
link(131,117) :- #0.648.
link(118,129) :- #0.227.
link(129,118) :- #0.827.
link(119,126) :- #0.109.
link(126,119) :- #0.34.
link(120,132) :- #0.901.
link(132,120) :- #0.397.
link(120,133) :- #0.708.
link(133,120) :- #0.167.
link(120,138) :- #0.192.
link(138,120) :- #0.994.
link(121,124) :- #0.29.
link(124,121) :- #0.682.
link(121,126) :- #0.684.
link(126,121) :- #0.752.
link(121,129) :- #0.897.
link(129,121) :- #0.254.
link(122,137) :- #0.334.
link(137,122) :- #0.489.
link(122,138) :- #0.772.
link(138,122) :- #0.636.
link(123,127) :- #0.151.
link(127,123) :- #0.599.
link(123,128) :- #0.003.
link(128,123) :- #0.441.
link(123,131) :- #0.879.
link(131,123) :- #0.961.
link(124,139) :- #0.326.
link(139,124) :- #0.759.
link(125,127) :- #0.933.
link(127,125) :- #0.018.
link(125,129) :- #0.064.
link(129,125) :- #0.159.
link(125,133) :- #0.358.
link(133,125) :- #0.336.
link(125,138) :- #0.218.
link(138,125) :- #0.49.
link(125,139) :- #0.582.
link(139,125) :- #0.686.
link(127,137) :- #0.23.
link(137,127) :- #0.492.
link(127,138) :- #0.8.
link(138,127) :- #0.995.
link(132,134) :- #0.7.
link(134,132) :- #0.732.
link(133,136) :- #0.78.
link(136,133) :- #0.126.
link(134,138) :- #0.567.
link(138,134) :- #0.212.
link(135,139) :- #0.979.
link(139,135) :- #0.964.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
